constructive specification

英 [kənˈstrʌktɪv ˌspesɪfɪˈkeɪʃn]

美 [kənˈstrʌktɪv ˌspesɪfɪˈkeɪʃn]

【计】构造性规格说明

计算机

双语例句

• In this paper, a new constructive proving system, Specification Deduction, is presented.
  本文中提出一个用于程序综合的构造证明系统，规范演绎。